Buy Used and New Jasmin Blanchette Books

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)

by Jasmin Blanchette, Laura Kovács, Dirk Pattinson

ISBN 13: 9783031107689

Format: Paperback (771 pages)
Publisher: Springer
Published: 17 Jul 2022

Save for later